Hong Kong port strike ends with 9.8% raise for dockworkers—plus potty breaks